The critical flaw is the fact that most of these languages were built on top of their own virtual machine or interpreter, so they represent (like Ruby does) a transition to a new platform.
关键问题在于许多语言建立在自己的虚拟机或解释器上,所以它们代表(就像 Ruby 一样)到新平台的转换。
Virtual queues, being virtual, are actually implemented as rings to traverse the guest-to-hypervisor transition.
虚拟队列实际上被实现为跨越来宾操作系统和hypervisor的衔接点。
It then discusses the structured specification style and the transition oriented speciflcation style, which is based on an example of a virtual ring mutual exclusion protocol.
着重以一种虚环互斥协议为例,对结构化形式描述风格和转移形式描述风格进行探讨。
应用推荐